볼프강 하켄

4색정리를 증명한 미국의 수학자이다.

그는 케네스 아펠과 함께 컴퓨터를 이용해서 이 문제를 해결한다. 그들의 방식은 당시 수학계로부터 아름답지 않다며 까임을 당했다. 그러나 정작 컴퓨터로 수학문제를 증명해낼 생각을 해낸 것은 그들이 아니라 서독의 수학자 헤쉬였다.

이후 헤켄은 푸앵카레의 추측을 증명하기 위해 컴퓨터를 이용한 방식노가다을 이용하려 했으나 결국 해결하지 못했고 분노조절장애까지 생겼다고 한다(...)